You can assume one of B or C is false and use that assumption to prove the
other is true. (There is no need to do the second case.) Or, you can
assume that both B and C are false and obtain a contradiction.